x11: Add EWMH workspace handling api
authorMatthias Clasen <mclasen@redhat.com>
Sat, 24 Aug 2013 04:51:01 +0000 (00:51 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 24 Aug 2013 04:51:56 +0000 (00:51 -0400)
commit13f6552a7ea771638240f394c495c977e33533d0
treec2e0f8ad191f2228e4229e45ba65845022a3f8d3
parent8f69721ed463e1fb484848205d78ff1e6c042c42
x11: Add EWMH workspace handling api

Add a few functions that give access to the EWMH workspace
properties.
docs/reference/gdk/gdk3-sections.txt
gdk/x11/gdkscreen-x11.c
gdk/x11/gdkwindow-x11.c
gdk/x11/gdkx11screen.h
gdk/x11/gdkx11window.h